представленное доказательство

См. также в других словарях:

• Мотидзуки, Синъити — В Википедии есть статьи о других людях с такой фамилией, см. Мотидзуки. Cинъити Мотидзуки 望月 新一 Дата рождения: 29 марта 1969(1969 03 29) (43 года) Место рождения: То …   Википедия

• Александр II (часть 2, I-VII) — ЧАСТЬ ВТОРАЯ. Император Александр II (1855—1881). I. Война (1855). Высочайший манифест возвестил России о кончине Императора Николая и о воцарении его преемника. В этом первом акте своего царствования молодой Государь принимал пред лицом… …   Большая биографическая энциклопедия

• ДУША — [греч. ψυχή], вместе с телом образует состав человека (см. статьи Дихотомизм, Антропология), будучи при этом самостоятельным началом; Д. человека заключает образ Божий (по мнению одних отцов Церкви; по мнению других образ Божий заключен во всем… …   Православная энциклопедия

• Кант Иммануил — Жизненный путь и сочинения Канта     Иммануил Кант родился в Кенигсберге (ныне Калининград) в Восточной Пруссии в 1724 г. Отец был шорником, а мать домохозяйкой, шестеро их детей не дожили до зрелого возраста. Кант всегда вспоминал родителей с… …   Западная философия от истоков до наших дней

• УБЕЖДЕНИЕ — вера в то, что выдвигаемая идея или система идей должна быть принята в силу имеющихся оснований. Предметом У. может быть не только отдельное высказывание, но и связная система высказываний: сообщение о каких то событиях, доказательство, концепция …   Философская энциклопедия

• Красно-чёрное дерево — Тип дерево поиска Изобретено в 1972 году Изобретено Рудольф Байер Временная сложность в О символике В среднем В худшем случае Расход памяти O(n) O(n) Поиск O(log n) O(log n) Вставка O(log n) O(log n) Удаление O(log n) O(log n) Красно чёрное… …   Википедия

• Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …   Википедия

• Стереометрическая семантика —    трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… …   Проективный философский словарь

• Спиноза Бенедикт — Жизнь и сочинения Спинозы     Бенедикт Спиноза (Барух д Эспиноза) родился в Амстердаме в 1632 г. (в том же году родился и Локк) в состоятельной семье испанских евреев (вынужденных скрываться от преследований инквизиции и принять христианство,… …   Западная философия от истоков до наших дней

• ЕВХАРИСТИЯ. ЧАСТЬ II — Е. в православной Церкви II тысячелетия Е. в Византии в XI в. К XI в. визант. богослужение приобрело почти тот вид, какой оно сохраняло в правосл. Церкви все последующее тысячелетие; в его основе лежала древняя к польская традиция, значительно… …   Православная энциклопедия

• Державин, Гавриил Романович — — знаменитый поэт, государственный человек и общественный деятель второй половины прошлого и первой четверти нынешнего столетия (р. 3 июля 1743, ум. 8 июля 1816). Предок его, татарский мурза Багрим, в ХV столетии, в княжение Василия… …   Большая биографическая энциклопедия